int kernel_main()
{
    void hal_init();
    void p
}